R. Kent Dybvig's PhD dissertation (1987) which presents three implementation models for Scheme, a stack-based model, a string-based model, and a heap-based model.
Compiler architecture dynamically optimizes stand-alone programs via staged compiling. Uses run-time values and invariants to improve code as it executes, yielding performance superior to statically optimal code.
This site, maintained by David Leake at Indiana University, describes the SWALE project's case-based reasoning approach to generating creative explanations. A simplified version of the SWALE code is available.